Buy Used and New Nicolas Peltier Books

Automated Model Building (Applied Logic): 31 (Applied Logic Series)

by Ricardo Caferra,Alexander Leitsch,Nicolas Peltier

ISBN 13: 9781402026522

Format: Hardcover (360 pages)
Publisher: Springer
Published: 13 Sep 2004

Save for later

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science)

by Nicolas Peltier,Viorica Sofronie-Stokkermans

ISBN 13: 9783030510534

Format: Paperback (532 pages)
Publisher: Springer
Published: 30 Jun 2020

Save for later

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science)

by Nicolas Peltier,Viorica Sofronie-Stokkermans

ISBN 13: 9783030510732

Format: Paperback (568 pages)
Publisher: Springer
Published: 30 Jun 2020

Save for later